Observability and Controllability Issues in Conformance Testing of Web Service Compositions

نویسندگان

  • Jose Pablo Escobedo
  • Christophe Gaston
  • Pascale Le Gall
  • Ana R. Cavalli
چکیده

We propose a model-based black-box testing approach to test conformance of Web Service Compositions (WSC). When a WSC under test makes use of implementations of Web Services, two situations may occur: either communications between the WSC and the Web Services are observable or hidden internal actions. We show by means of an example how to generate test cases whose verdicts are provided with explanations taking into account the status of the Web Services.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON CONTROLLABILITY AND OBSERVABILITY OF FUZZY CONTROL SYSTEMS

In order to more effectively cope with the real world problems of vagueness, imprecise and subjectivity, fuzzy event systems were proposed recently. In this paper, we investigate the controllability and the observability property of two systems that one of them has fuzzy variables and the other one has fuzzy coefficients and fuzzy variables (fully fuzzy system). Also, sufficient conditions for ...

متن کامل

Probabilistic Time Management of Choreographies

Temporal conformance of web service compositions guarantees the timely execution of service calls, decreases follow-up costs and increases QoS by avoiding deadline violations. Since it is impossible to make certain statements about the execution intervals of upcoming web service executions mainly due to varying activity durations and hardto-predict branching behavior we propose a probabilistic ...

متن کامل

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

Workflow-based service composition languages foster the rapid design and development of distributed applications. The behavioral verification of service Compositions has widely been addressed at design time, using modelchecking. Testing is a complementary technique when it comes to check the behavioral conformance of a service implementation with respect to its specification or to a user or a s...

متن کامل

Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques

Web service compositions (WS compositions) coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to func...

متن کامل

A Framework for Modeling and Testing of Web Services Orchestration

The Web Services and service-based systems gained extreme popularity in the recent years. While various testing frameworks exist for web services, they mostly cover unit testing and do not take into account the complete architecture built with service compositions. In our research we start from a high level system model expressed with SOA Logical Architecture UML2 Profile, from which we generat...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009